equality (definitional, propositional, computational, judgemental, extensional, intensional, decidable)
identity type, equivalence of types, definitional isomorphism
isomorphism, weak equivalence, homotopy equivalence, weak homotopy equivalence, equivalence in an (∞,1)-category
Examples.
group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
Two generalized homology theories , , hence spectra , are called Bousfield equivalent if the homology groups of both always vanish simultaneously, hence if for every homotopy type/spectrum we have precisely if .
There is a Bousfield equivalence
between the Moore spectrum of the quotient and the coproduct of the Moore spectra of all cyclic groups/finite fields of prime order (e.g. Strickland 12, MO comment).
This goversn the global arithmetic fracture theorem in stable homotopy theory.
For all , the th Morava E-theory is Bousfield equivalence to , where the last factor is th Morava K-theory.
The concept of Bousfield classes is due to (see at Bousfield localization of spectra)
and was named such in
Discussion in the context of higher algebra is in
Last revised on February 2, 2016 at 08:54:45. See the history of this page for a list of all contributions to it.